type t = (* MinCamlの構文を表現するデータ型 (caml2html: syntax_t) *)
  | Unit
  | Bool of bool
  | Int of int
  | Not of t
  | Neg of t
  | Add of t * t
  | Sub of t * t
  | Eq of t * t
  | LE of t * t
  | If of t * t * t

type statement =
  |Statement of t
